Dynamic Programming: Models and Applications (Dover Books on Computer Science)