Mike Pence used an AOL e-mail account for state business and it got hacked