When Will Bitcoin Mining End?