Noncommutative numerical motives and the Tannakian formalism