Semi-analytical minimum time solutions for a vehicle following clothoid-based trajectory subject to velocity constraints