质能守恒定律如何推导