Weighted Lasso Karush-Kuhn-Tucker Conditions