Coupling-based invertible neural networks are universal diffeomorphism approximators