Linear Tubular Permanent-Magnet Generators for the Inertial Sea Wave Energy Converter