Text this: Model-Based Optimization of Velocity Strategy for Lightweight Electric Racing Cars