Why the Supreme Court ended up with nine justices—and how that could change