Expressiveness of Propositional Linear Temporal Logics