explicitly "using CVX" to make code self-contained