發送短信: Ship availability oriented contract management model for in-service support contracts of naval vessels