Performance Modeling and Analysis of Base Station Cooperation for Cellular-Connected UAV Networks