Tech at the top: How 5 of world's leading executives streamline their productivity