When voters cast votes who are they actually voting for in the presidential election?