Elon Musk’s tunnel firm considers Waco for “Magnolia Loop”