Data-Copying in Generative Models: A Formal Framework