An overview and comparison of machine-learning techniques for classification purposes in digital soil mapping