Inference of Regular Expressions for Text Extraction from Examples