john van vleck