Gravity is a Modeling Language for Mathematical Optimization and Machine
Learning.