High-speed rail's potential for the reduction of carbon dioxide emissions from short haul aviation: a longitudinal study of modal substitution from an energy generation and renewable energy perspective