Logarithmic Neyman Regret for Adaptive Estimation of the Average Treatment Effect