Title: A formal theory of railway track networks in higher-order logic and its applications in interlocking design