Survey of the mechanisms of power take-off (PTO) devices of wave energy converters