Fully Abstract Models for Nondeterministic Regular Expressions