天気用語で「ひょう」と「あられ」の境目となる直径は何ミリ?