A Knockoff Filter for High-Dimensional Selective Inference