The dust seen from a rock drilling machine from a mining industry