Mike Pence: 5 things to know