MAVEN Survey of Magnetic Flux Rope Properties in the Martian Ionosphere: Comparison with 3 Types of Formation Mechanisms