Tools for building and solving Markov Availability models