Pixelbook leak: Google's new high-end Chromebook expected October 4