Text this: Time-optimal control by means of neural networks