A Formal Framework for Security Analysis of NFC Mobile Coupon