Theophrastus on Stones: Introduction, Greek Text, English Translation, and Commentary