MLIC: A MaxSAT-Based framework for learning interpretable classification rules