Predicting Bitcoin Prices via a Transformer Model with Autocorrelation Attention and Series Decomposition