The Boring Company obtiene su primer contrato oficial