煤粉监测采用的小直径钻头直径一般为（）mm。