Theophrastus’ History of stones: with an English version, and notes by Sir John Hill