But employment in gas mining lags well behind other mining