NASA has figured out how Mars was stripped clean of water