Is arbitration mandatory if a government contract contains an arbitration clause?