Mining industry employment growth: boom and post boom