News iPhone 13 notch could be this much smaller