Syzygies of the residue field over a local ring