Gauging away the strong CP problem