A taxonomy for autonomy in industrial autonomous mobile robots including autonomous merchant ships