Gravar-mail: Technical and operational underpinnings of malaria elimination from Sri Lanka