Title: The first principles of railway signalling