Requirement-based Root Cause Analysis Using Log Data