Evaluating expressway traffic crash severity by using logistic regression and explainable & supervised machine learning classifiers | Synapse