amplitude modulation equation derivation