Anti-icing strategies of plant surfaces: the ice formation on leaves visualized by Cryo-SEM experiments