Finite-element analysis of ex vivo and in vivo hepatic cryoablation.