Using ATL to define advanced and flexible constraint model transformations