冰雹、小雪、雾、霜冻四个中主要通过凝华形成的是