Add Docker push in CI pipeline