Deep canyons in the North Polar ice cap, modelled from Mars Global Surveyor height data