Design optimization of linear permanent magnet generator for wave energy conversion