The application of the spectral domain modeling to the power take-off sizing of heaving wave energy converters