In 1955, von Neumann became a commissioner of the AEC. In what year did von Neumann become commissioner of the AEC