Most Relevant Explanation: Properties, Algorithms, and Evaluations