Bayesian Inference of Regular Expressions from Human-Generated Example Strings