Some 417,000 working days were lost to industrial action in October – the highest since 2011. www.bbc.co.uk