CO2 permafrost and Martian topography