FRAMING AND EVALUATING THE BEST PRACTICES OF IFC-BASED AUTOMATED RULE CHECKING: A CASE STUDY