Demystifying Hard Forks in the Cryptocurrency Space