What are the details of the (a) origin and (b) breakdown of the R500 million exploration fund that his department created in partnership with the Industrial Development Corporation, which he announced during the 2023 Investing in African Mining Indaba on 6 March 2023?