MIT Master's Thesis: Quantitative Probabilistic Modeling of Environmental Control and Life Support System Resilience for Long-Duration Human Spaceflight