On Izumi's theorem on comparison of valuations