Saved Alan Turing papers sold at auction for £465k