Anomaly Detection of Underwater Gliders Verified by Deployment Data