can proof of stake be mined