Define and assess two key metrics for the performance of Mars Protocol since launch. How is Mars doing, according to these metrics?