Operations Research: An Introduction