Learning Signal Temporal Logic through Neural Network for Interpretable Classification