The Birkhoff Theorem for varieties of finite algebras