Design of intelligent proofreading system for English translation based on CNN and BERT