Theophrastou tou Eresiou peri ton lithon biblion. Theophrastus's history of stones. With an English version, and notes, including the modern history of the gems described by that author