Tannakian duality for Anderson–Drinfeld motives and algebraic independence of Carlitz logarithms