Higher algebraic K-theory for actions of diagonalizable groups