MODELING THE CRYOSPHERE WITH FEniCS