A New Formulation for Zeroth-Order Optimization of Adversarial EXEmples in Malware Detection