Safe Operation of Autonomous Mobile Robots in Human-shared Industrial Workspaces