2008年5月12日，中国四川大地震的震级为（）。