Computer-Based Modeling of K-12 Faculty Activities: A Case Study