DISCRETE GAUGE THEORIES