Mining industry is the biggest user of domestic gas