Efficient Incremental Modelling and Solving