New Insights to Gully Formation Using HiRISE Digital Terrain Models