Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description