It's official: There are 8 planets.