Mixed semidefinite-quadratic-linear programs