The five main takeaways from Pope Leo’s encyclical on AI