‘Major milestone’: Communities from Dane, Rock, Jefferson counties vote to form regional fire protection district