Modelling and Experimental Verification of Direct Drive Wave Energy Conversion : Buoy-Generator Dynamics