Monatelange Planung: Die Festnahme des venezolanischen Präsidenten Nicolás Maduro war das Ergebnis einer der aufwendigsten Operationen der US-Geschichte.