Ischemic heart disease mortality among miners and other potentially silica-exposed workers.