What is the Origin of the dead time formula in GM counter?