Dispute resolution in legal mediation with quantitative argumentation