Next Year’s ‘iPhone 13’ Could Be Getting a Smaller Notch