What will happen to Trump legal challenges after Biden transition formally begins?