The use of tracers to assess drill-mud penetration depth into sandstone cores during deep drilling: method development and application