Text this: Characterizations of Pareto-efficient, fair, and strategy-proof allocation rules in queueing problems