リニア用に掘り始めたトンネルはハイパーループに転用できますか?