Predictability of Shanghai Stock Market by Agent-based Mix-game Model