Biochar application modifies soil properties of a former mine technosol