royalty defined in quarry valuation