Humanitarian demining: efficiency by intelligent planning and low-cost robotics