Modeling Availability of Parallel Computers