Robust Text-to-SQL Generation with Execution-Guided Decoding