Sony on PS5 backward compatibility: More than 4,000 titles supported