Yamada-Watanabe criterion for pathwise uniqueness, martingale representation, Doob-Meyer decomposition, stochastic Fubini theorem, local time of one-dimensional Brownian motion and extension of Ito's formula, extension of the stochastic integral for general semimartingales