四川汶川大地震究竟是多少级?