Symmetric monoidal infinity-categories