TR155: Formalizing Construction Sequence Constraints for the Rapid Generation of Scheduling Alternatives