Four things to know about Pope Pius XII’s archives