MIRAGGIO: a System for the Dynamic Management of Product Data and Design Models