Mining revenue and GST distribution