A System for Pareto-Optimal Automated Negotiations in e-Commerce