Error Detection for Text-to-SQL Semantic Parsing