LEVER: Learning to Verify Language-to-Code Generation with Execution