A Numerical Methodology to Predict the Maximum Power Output of Tidal Stream Arrays