Judge formally approves American Airlines merger settlement, Bloomberg says