arxiv Sketch-Driven Regular Expression Generation from Natural Language and Examples