A simulation tool to support business process redesign