Quando devidamente pactuada, a arbitragem é forma de solução de conflitos de trabalho