Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology