Learning from prior geological information for geotechnical soil stratification with tree-based methods | Synapse