Mining industry contribution to 2020 GDP estimated at P102B