mit general relativity solutions