TABOR: A Highly Accurate Approach to Inspecting and Restoring Trojan Backdoors in AI Systems