Expiration analysis of the International Space Station formulary for exploration mission planning | Synapse