The Mars water cycle