How machine learning corrects grammatical errors in Google Docs