Closed nominal rewriting and efficiently computable nominal algebra equality