Railway Signaling in Theory and Practice