Certified Robustness of Learning-based Static Malware Detectors