A Modeling Methodology for Empirically Studying User Behavior: The Case of UML Diagram Usage