Gas leak closes street around Va. Beach restaurant