Text this: Agro-well and pump diffusion in the dry zone of Sri Lanka: past trends, present status and future prospects