The sugar-tube method of determining rock dust in air