Did Avicenna write any books?