An algebraic model for the loops on the p-completion of the classifying space of a finite group