Elon Musk's tunnel boring plans could all be part of making Hyperloop a reality