四川地震5.12之前发生过地震吗