Debt ceiling deal done