An employer and an exclusive bargaining representative who enter into a collective bargaining agreement may include in such agreement procedures for binding arbitration of such disputes as may arise involving the interpretation or application of such agreement.