Time-Varying Human-Operator Identification with Box-Jenkins Models