Matematička formulacija opće teorije relativnosti