Statistical inference for functional time series: Autocovariance function