Lecture 6: MDP basics; planning