NUMERICAL SIMULATIONS OF THERMOHALINE CONVECTION: IMPLICATIONS FOR EXTRA-MIXING IN LOW-MASS RGB STARS