Ice formation and solvent nanoconfinement in protein crystallography