Budget compromise reached; ends 15-day shutdown