Added detailed section on KKT conditions.