Erection Scheduling at Shipbuilding Using Constraint Directed Graph Search: DAS-ERECT