The Google Pixel 4 could have a 16MP telephoto lens, based on camera app code