Theory Of High-Dimensional ℓ1-Penalized Logistic Regression