Stephen Hawking's encounters with popes