Mars: Crustal pore volume, cryospheric depth, and the global occurrence of groundwater