Gauged U(1) extension of the standard model and phenomenology