Ocean Renewable Energy Potential, Technology, and Deployments: A Case Study of Brazil