Changes in ventilatory function in coal miners after a work shift.