What is a beloved theory of (some) competition law enforcers on why the number of leniency applications goes down?