Modeling and analyze a single-phase halbach magnetized tubular linear permanent magnet generator for wave energy conversion