EfficientSign-BasedOptimization: Accelerating ConvergenceviaVarianceReduction