Tridimensional Implicit Finite Difference Formulation for Heat Conduction in Presence of Phase Change