Operations research: an introduction