Convex block-sparse linear regression with expanders -- provably