What's happened to mining employment since 2008?
Show me the data