How many papers did Von Neumann publish?