Text this: Theoretical Trade-Off Between Fairness and Efficiency in the Cooperative Driving Problem for CAVs at On-Ramps