PoSDMS: A Mining System for Oceanic Dynamics with Time Series of Raster-Formatted Datasets