Analysis of a Spacecraft Life Support System for a Mars Mission