formal definition of research​