Face ID would carve out an unsightly notch on our Macs