Interpreting Proclus: From Antiquity to the Renaissance