Nonzero-sum stochastic differential games with impulse controls : a verification theorem with applications