Finite element and population balance models for food-freezing processes