User-identified electronic cigarette behavioral strategies and device characteristics for cigarette smoking reduction. (April 2018)