Trump really did win the most Republican primary votes in history—technically