An analysis of vertical separation of railways