The Boring Company submitted its bid in October, proposing tunnel infrastructure similar to the Las Vegas loop. Here's what else the bid documents reveal.