Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty