Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System