Can a Machine Replace Humans in Building Regular Expressions? A Case Study