Applying System-Theoretic Process Analysis (STPA)-based methodology supported by Systems Engineering models to a UK rail project