Lecture 4: Simplex method