国鉄における岩石トンネル掘進機の動向