An Inter-Comparison of Dynamic, Fully Coupled, Electro-Mechanical, Models of Tidal Turbines