Kalman-based autoregressive moving average modeling and inference for formant and antiformant tracking