The Boring Co. wants to build an underground transit loop in