Heterogeneous nucleation of supercooled water, and the effect of an added catalyst