Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments