How many encyclicals did Paul VI publish?