Efficient Stochastic Gradient Hard Thresholding