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