Stochastic Modeling of Tidal Generation for Transient Stability Analysis: A Case Study based on the All-Island Irish Transmission System