Spatial-Temporal Data Mining for Ocean Science: Data, Methodologies, and Opportunities