Dynamic Programming and Trade Execution