Why is x & -x equal to the largest power of 2 that divides x?