Which US Senator was nominated as Hillary Clinton’s vice presidential running mate?