To color a region in an image in Python, what is more efficient: looping pixel by pixel or using numpy functions with masks and the like?