An explainable machine learning framework for railway predictive maintenance using data streams from the metro operator of Portugal