Efficient Temporal Mining of Micro-blog Texts and its application to Event Discovery