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