A pile driver is a device used to drive objects into the Earth by repeatedly dropping a heavy weight on them. By how much does the energy of the pile driver–Earth system increase when the weight it drops is doubled? Assume the weight is dropped from the same height each time.