Describir: Humanitarian Demining: the Problem, Difficulties, Priorities, Demining Technology and the Challenge for Robotics