After Amazon buys Whole Foods, will automation sweep grocery?