The mining industry in Québec