Isaac Israeli: A Neoplatonic Philosopher of the Early Tenth Century. His Works Translated with Comments and an Outline of His Philosophy