john hasbrouck van vleck