Heterogeneous nucleation of ice in the atmosphere