Interactive Constraint-Based Assembly Modelling