how many bitcoin miners are there