Statistics of A semi-automatic approach for doline mapping in Brazilian covered karst: the way forward to vulnerability assessment