Domestic coal companies supply 500 million tonnes coal in H1 FY24