miningformula