mukhanov sazaki derivation