Google Docs introduces advanced proofreading that uses AI, replacing spellcheck and grammar functions