Phrase-based Machine Translation is State-of-the-Art for Automatic Grammatical Error Correction