Text this: Optimal Tyre Management for a Formula One Car