john milnor