why is ibn rushd important