Formalizing Umee's New Asset Listing and Risk Parameter Adjustment Processes