Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions