US carriers challenge legality of EU ETS