A mathematical model for the freezing process in biological tissue