Development and Experimental Validation of Mathematical Tools for Computerized Monitoring of Cryosurgery