From Coinmarketcap, there are 17,530,775 BTC available in circulation. But what is the actual amount excluding the lost BTC? How much BTC have been lost until now? Is there any reported/proofed list of lost BTC amount/addresses?