The role of humor in leadership