Geomechanical modelling of sinkhole development using distinct elements: model verification for a single void space and application to the Dead Sea area