phase modulation derivation