Zooming a 17-gigapixel photo