Pope Leo XIV’s AI encyclical is getting a mixed reception from the tech world