Informatyka w badaniach operacyjnych