what is formalist theory