Keith Jenkins is named National Geographic Digital’s executive editor