How to collect resource tax for machine-made sand mining