Arterial oxygen pressure and end-expiratory arterial oxygen pressure difference in coalminers, with reference to silicosis, emphysema, bronchitis and exposure to dust