Text this: Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming