Pipes and politics: a century of change and continuity in Kenyan urban water supply*