Computational study of formation mechanism of impurity distribution in a silicon crystal during solidification