Role of Technology in Ocean Acidification: Monitoring, Water-Quality Impairments, CO 2 Mitigation, and Machine Learning