Police use of robot to kill Dallas shooting suspect prompts controversy