Text this: Mathematical Analysis and Optimal Control of Giving up the Smoking Model