Observations and interpretations at Vredefort, Sudbury, and Chicxulub: Towards an empirical model of terrestrial impact basin formation