Does a beneficial 401k mortgage effect credit score?