How gearbox ratios influence lap time and driving style. An analysis based on time-optimal maneuvers