Coupling-based Invertible Neural Networks Are Universal Diffeomorphism Approximators