Veliformer: A periodicity-preserving model for short-term tidal energy forecasting in optimal power flow