∞-Operads as Symmetric Monoidal ∞-Categories