Ora Banda Mining’s revenue, earnings, cash flow, and profit all substantially rise in latest half-year