The Longest Blockchain Explained