Donald Trump’s rollout of Mike Pence was the most unusual VP announcement in memory