Describir: Mine Detection Robot and Related Technologies for Humanitarian Demining