market auction theory