Interval Methods for Solving Nonlinear Constraint Satisfaction Optimization and Similar Problems