Text this: Ship availability oriented contract management model for in-service support contracts of naval vessels