汶川地震的地震级数是多少