A model for the formation of lava tubes by the growth of the crust from the levees