Dějiny operačního výzkumu