Spatial, temporal, and in depth distributions of CTD WOCE ocean profiles (dataset as described here)