Dynamic programming and linear partial differential equations