Mouse model of colonic adenoma-carcinoma progression based on somatic Apc inactivation.