coal mining in spain 2018