高炉生产中，为了保证料层有一定的透气性，矿石的粒度一般大于（）mm。