Whitehead and Russell had thought originally that Principia Mathematica would take a year to complete; it ended up taking them ten years. How long did it actually take Whitehead and Russell to complete Principia Mathematica?