Định lý Birkhoff (thuyết tương đối)