Lecture 4: DC Optimal Power Flow