An exact algorithm for the unrestricted container relocation problem with new lower bounds and dominance rules