刘惠军：Screening of potential topological insulators: first-principles and beyond