Quel est le manque à gagner annuel pour l'État depuis la suppression de l'ISF en 2018 ?