Theophrastus of Eresus: sources for his life, writings, thoughts and influence