HiGHS optimization solver
