GoodpaperonReformulation-LinearizationMethodsforGlobalOptimization