Design of a Portable Pico Linear Permanent Magnet Generator for Wave Energy Conversion