What you need to know about the US Senate votes today to end the shutdown