CERN uses ultra-compact AI models on FPGAs for real-time LHC data filtering