Excision in algebraic K-theory