Employment growth by industry during and after the mining boom