Describir: Scalable Computation of High-Order Optimization Queries.