Arbitration pays off for Worthington firefighters