短历时强降水定义为一小时降水量大于等于( )毫米的降水。