How much did John save in his 401(k) in the 2014 tax year?