Convergence of AdaGrad for Non-convex Objectives: Simple Proofs and Relaxed Assumptions