Outlier Detection Using Generative Models with Theoretical Performance Guarantees