Relational Representation of Groupoid Quantales