Accounting for power take-off efficiency in optimal velocity tracking control of wave energy converters