Divergence functions of Thompson groups