amplitude modulation derivation