Dynamic transit scheduling under efficiency constraints