The Convergence of Sparsified Gradient Methods