Automated Failure Explanation Through Execution Comparison