Computing Information Minimal Match Explanations for Logic-Based Matchmaking