Argumentation theory for mathematical argument