Finding the average of two unsigned integers without overflow