He's written a bit about how it works here: https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/mines....