Resolution of the residue class field via algebraic discrete Morse theory