changes to solver_mosek for easier SOS formulations + more tests