EU court orders a Polish coal mine to pause operations