Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL