How the PoW problem works in Bitcoin