demolition of a house with a digger .