Title: Mathematical models of solidification