Optimal Lap Time for a Race Car: A Planar Multibody Dynamics Approach