How are transactions verified and added to the blockchain in a cryptocurrency system?