Update users' tickets and portfolio on execution. Fix bug in which prices were not being sorted numerically