Microwave spectroscopy analysis of the distribution of deuterium in propene-d1 obtained from catalyzed hydrogen-deuterium exchange reactions