Enhancing Railway Signaling with Smart Contracts: Towards a New Generation of Safety and Effectiveness