Toward Theoretical Techniques for Measuring the Use of Human Effort in Visual Analytic Systems