Towards Simple and Provable Parameter-Free Adaptive Gradient Methods