Exact analytical solutions of a steady-state mushy layer model containing heat exchange with the environment