Coal mining and coal use: the European perspective