OKRidge: Scalable Optimal k-Sparse Ridge Regression