An overview of ocean renewable energy technologies