Optimization of polynomials in non-commuting variables. (2016)