Thailand records 9.4 million tourists in first 3 months, $12.4 billion in spending, government says