Mixed integer programming to globally minimize the economic load dispatch problem with valve-point effect