dekker algorithm