when did pope pius xii die?