Leveraging BIM, EPS and constraint programming for automated scheduling: a methodology for structured scheduling data and combinatorial optimization | Synapse