Despite its imperfection, what are now considered valuable achievements of Principia Mathematica?