How Many Bitcoins Are Lost Forever?