A computational model for molten corium spreading and solidification. (15th January 2019)