Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments