Large-scale optimization state of the art (Kluwer, 1994)