How to Build an F1 Gearbox (and How it Shifts)