A Methodology for the Virtual Quantification of Operator Workloads in Support of Partially-Automated System Analysis