The Use of Auctions for Decommissioning Coal Power Globally