Graeme Shinnie: Aberdeen captain signs pre-contract with Derby County