Net buying pressure, volatility smile, and abnormal profit of Hang Seng Index options