Minor changes. Used to generate the results in the extended version submitted to Performance Evaluation.