Leak: Google Pixel 4a will have a punch-hole display