Up to January 2022, the record transfer fee received by Derby County was for Seth Johnson. How much did they sell him for?