The fine dust from a rock drilling machine in a limestone industry