There are already devices designed to melt the rock as it is being bored and use that molten rock to line the tunnel as the machine progresses. Not sure how that would impact your statement about needing concrete, but thought I would share anyway.