Horodeckis criterion of separability of mixed states in von Neumann and C*-algebras