司马炎被谁灭了