Hindustan Zinc Q3 mined metal production marginally rises to 2,54,000 tonnes