Certifiably robust malware detectors by design