Gravar-mail: Blood pressure level impacts risk of death among HIV seropositive adults in Kenya: a retrospective analysis of electronic health records