A Markov chain based study on the availability of ship systems of a naval vessel