Mechanisms of formation of lava tubes