Describir: Datalog in academia and industry