President-elect Donald Trump has tapped Rep. Mike Pompeo (R-Kan.) to be CIA director, close allies say. Here's what we know about him.