Industrial disputes: working days lost in quarter, and employees involved ('000s)