add mosek env