EHRSQL: APracticalText-to-SQLBenchmarkfor ElectronicHealthRecords