Encoder-Decoder Models Can Benefit from Pre-trained Masked Language Models in Grammatical Error Correction