Passivity-based Voltage Controller for Tidal Energy Conversion System with Permanent Magnet Synchronous Generator