A modelling study on tsunami propagation in the Red Sea: Historical events, potential hazards and spectral analysis