Near-Optimal Explainable $k$-Means for All Dimensions