Declarative Machine Learning Systems