French tax officials use AI to spot 20,000 undeclared pools