On the consistency theory of high dimensional variable screening