Focused-ion-beam thinning of frozen-hydrated biological specimens for cryo-electron microscopy