The bordism category as a symmetric monoidal infinity-category