A Behavioral Activation Mobile Health App for Smokers With Depression: Development and Pilot Evaluation in a Single-Arm Trial