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 to complete Principia Mathematica?