Geometry, displacement–length scaling, and extensional strain of normal faults on Mars with inferences on mechanical stratigraphy of the Martian crust