Executive decisions and operations research