Proactive employers and teachers' working time regulation: Public sector industrial conflicts in Denmark and Norway. (August 2019)