Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network