A history of alternative dispute resolution