Relation between dust exposure and lung function in miners and ex-miners.