How many coins are lost? I hear 2M on the low end, 5M on the high. Wild that 5M were mined in the first 2 years, with terrible self custody solutions compared to today.