F-15s resume flights after budget-driven grounding