Design methodology of permanent magnet generators for fixed-pitch tidal turbines with overspeed power limitation strategy