Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking