How Lava Tubes Are Formed