Design of a portable pico linear permanent magnet generator for wave energy conversion Conference Paper