SpellBERT: A Lightweight Pretrained Model for Chinese Spelling Check | Synapse