Verbal irony as conversational implicature