Lemke's algorithm