Elon Musk's Boring Company begins tunneling in Las Vegas