Interval-Based Possibilistic Logic