A Sharp Computational Method for the Simulation of the Solidification of Binary Alloys