MicroAdam: Accurate Adaptive Optimization with Low Space Overhead and Provable Convergence