O16 spectral function from coupled-cluster theory: Applications to lepton-nucleus scattering | Synapse