A unified theory of structural tractability for constraint satisfaction problems