Explainable Malware Detection with Tailored Logic Explained Networks