"Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: {A} Comparison between Two Static Techniques for Malware Family Identification