The use of lumped capacitance in the finite-element solution of heat conduction problems with phase change