Mining sector gains record VND2.5 trillion profit in 2017