A high-precise model for the hydraulic power take-off of a raft-type wave energy converter