How Does Hard Drive Degaussing Work?