Selecting Between Redundancy and Repair in Manned Spacecraft: A Designer's Tool.