On the convergence of noisy Bayesian Optimization with Expected Improvement