Forecasting Carbon Emissions in Power Systems Using Autoformer and LSTM: A Case Study of the Spanish Electricity Market | IEEE Conference Publication | IEEE Xplore