Vietnam's manufacturing Purchasing Managers’ Index hits three-month high in May