Simulation of freckles during vertical solidification of binary alloys