Lessons from a Washington Post labor dispute