An annotated timeline of operations research :an informal history