LUDWIG: A Type-Based Declarative Deep Learning Toolbox