The philosophy and theology of Averroes