Driven by increased tourist arrivals, Thailand’s economy grew by 3.1% in the second quarter