A Comparison of Discrete-Time Operator Models for Nonlinear System Identification