I wonder what the best approximation is for the total bitcoins that are lost forever...