Dynamics of the Unicycle: Modelling and Experimental Verification