Relational Circuits