RELOOP: A Python-Embedded Declarative Language for Relational Optimization