An Introduction To Algorithms