Outlier Detection using Generative Models with Theoretical Performance Guarantees