Tipping point in Gulf Stream may be reached as early as mid-century