Finite-element model for phase-change recording