Gravar-mail: Prediction of Marine Pycnocline Based on Kernel Support Vector Machine and Convex Optimization Technology