An exact analytical grossing-up algorithm for tax-benefit models