Short selling and the informational efficiency of prices