Instrumental Variables Estimation and Weak-Identification-Robust Inference Based on a Conditional Quantile Restriction