Optimal asymptotic bounds for spherical designs