Modeling the impact of innovation in marine energy generation-related technologies on carbon dioxide emissions in South Korea