Reformulation and convex relaxation techniques for global optimization