Mining subsidence and railway lines