modify binomial queue