ビットコインのマイニングって誰もやらなくなったらどうなるの?