A Permanent-Magnet Tubular Linear Generator for Ocean Wave Energy Conversion