Analysis Of Value At Risk Models Based On The Shanghai Stock Index