John Higgins files lawsuit against KSR