The Vatican has said a lot about artificial intelligence. A primer ahead of the pope’s encyclical