history mining industry in europe