Gasleiding gebroken in Den Bosch, tientallen huizen ontruimd