Homology fibrations and the “group-completion” theorem