Gravar-mail: A systematic review of definitions of extreme phenotypes of HIV control and progression