NBC: Who is Mike Johnson? Five things to know about the new Republican House speaker