Sparse Group Lasso: Optimal Sample Complexity, Convergence Rate, and Statistical Inference