Rigorous data-driven computation of spectral properties of Koopman operators for dynamical systems