Exercise habits of world leaders