Symmetric monoidal infinity categories and ring spectra