The math behind the government shut down