Gravar-mail: Rationally optimized cryopreservation of multiple mouse embryonic stem cell lines: II—Mathematical prediction and experimental validation of optimal cryopreservation protocols()