On Rissanen's predictive stochastic complexity for stationary ARMA processes