Mathematical Modelling of Gimballed Tilt-Rotors for Real-Time Flight Simulation