A CODECO Case Study and Initial Validation for Edge Orchestration of Autonomous Mobile Robots