Gauge theories as formal moduli problems