A mathematical model for atmospheric ice accretion and water flow on a cold surface