An integer-valued autoregressive process for seasonality