General Mills’ plans to revive cereal sales include selling a box for $13