Predicting student success with and without library instruction using supervised machine learning methods | Synapse