Logical product models for automated scripting of process-level construction animations