Treasury reports US$3,853.3 million in tax collection through may