Algebraic K-theory and descent for blow-ups