A mechanistic theory of ice lens formation in fine-grained soils | Synapse