Cosmological properties of a gauged axion