A collective bargaining agreement may provide for binding arbitration of a labor dispute arising from the application or the interpretation of the matters contained in a collective bargaining agreement.