Porphyry's Commentary on Ptolemy's Harmonics: a Greek text and annotated translation