Intra-seasonal rainfall and piped water revenue variability in rural Africa. (September 2022)