Weighted Average Overtime: How HR and payroll providers might explain it, and why its wrong