The Formation and Evolution of Lava Tubes