If I received a $600 credit on contributing $1200 to my 401k in 2016, why did I receive only a $400 credit when contributing twice that to the 401k in 2017?