The Vatican’s landmark encyclical on artificial intelligence puts a moral framework around questions the insurance industry is already confronting at the operational level