Tangle 2.0 Leaderless Nakamoto Consensus on the Heaviest DAG