Implications of Headway-based and Schedule-based Operational Control Logics on Heavy Rail Systems: Application to Tren Urbano Project