Hierocles (author of Synecdemus)