A tree search procedure for the container relocation problem