Backdoor Scanning for Deep Neural Networks through K-Arm Optimization