Elon Musk’s Boring Company finally has a paying customer for its first tunnel project