Higher algebraic K-theory: + construction and group completion