Solidification of an alloy from a cooled boundary