Optimal Control for Race Car Minimum Time Maneuvering