Text this: The SEIRS-NIMFA compartmental epidemic model for the analysis of IoT malware propagation