Thermal modeling of shock melts in four Martian meteorites; implications for preservation of Martian atmosphere and crystallization of high-pressure minerals from shock melts