Estimation of individual miner’s exposure to total and respirable dust: distribution of three year mean dust concentration