Planner9, a HTN Planner Distributed on Groups of Miniature Mobile Robots