In what year did Von Neumann become a naturalized citizen of US?