Model based decision support for underwater glider operation monitoring