who has calculated the most digits of pi