Analysis of a Thaumasia Planum rift through automatic mapping and strain characterization of normal faults