Credit risk in government mortgage lending