Topics in global optimization using semidefinite optimization door