MAVEN observations of high-altitude magnetic flux ropes around Mars