MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence