What Trump’s removal from the Colorado ballot means