Algorand Pure Proof of Stake Explained