Modeling Evaluation of Tidal Stream Energy and the Impacts of Energy Extraction on Hydrodynamics in the Taiwan Strait