Radon concentration measurements in bituminous coal mines.