Modeling Hydrothermal Activity Associated with Martian Impact Craters: An Overview