A bandwidth reduction algorithm for trees