Deciphering Mars water cycle with missions and models | Synapse