OptlangBasedModel -> SolverBasedModel