A phase-changing dry snowpack model