Which scientist discovered that the equations he had derived predicted an expanding universe, then modified his equations to eliminate this expansion?