Arbitrary amplitude dust ion-acoustic shock waves in a dusty plasma with positive and negative ions