globally injective relu networks