High-frequency ultrasound for in vivo measurement of colon wall thickness in mice.