A search model for topological insulators with high-throughput robustness descriptors