Fast facts on Indiana Gov. Mike Pence