Projectivity in totally ordered rooted trees: an alternative definition of projectivity and optimal algorithms for detecting non-projective edges and projectivizing totally ordered rooted trees