Hydrological modeling of the Martian crust with application to the pressurization of aquifers