The Regular Expression Inference Challenge