stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic