[Progress of the industry and occupational health: Mining].