Shutdown averted: Senate passes continuing resolution to keep US government open through December