As pointed out by HeReTik, there are no balances. The nodes verify that the signed input
is unspent and corresponds to the private key that controls the amount sent.

Also, the steps outlined in 6 come logically before 5, since the set of transactions included
in the candidate block determine the Merkle root in the header, which again is hashed with the
rest of the block header in the process of mining.