Moving a robot: the KR&R approach at work