Russian deployment in Venezuela includes ‘cybersecurity personnel’: U.S. official