Mineshaft detection: Aspects of numerical model development