According to a new leak, the so-called 'Pixel 3 Mini' is a genuine product that will launch around the same time as its larger Pixel 3 siblings. Here's what you need to know.