On Provable Copyright Protection for Generative Models