Vietnam posts first-half GDP growth of 3.72%