What von Neumann work preceded the axiomatiztion of quatum mechanics?