Text this: The effect of piped water on early childhood mortality in urban Brazil, 1970 to 1976.