LOGIC PROGRAMMING IN A CONSTRUCTION PLANNING WORKBENCH Generation of a draft construction schedule from an IFC model (3D to 4D CAD)