Nasdaq considers trading discount as compensation for Facebook IPO glitches