Gravar-mail: Design of a randomized controlled trial of smoking cessation medications for alcohol reduction among HIV-positive heavy drinkers and daily smokers in St. Petersburg, Russia