Does international cereal trade save water? The impact of virtual water trade on global water use