OR for the classroom: the linear programming approach to approximate dynamic programming for Markov decision processes | Synapse